|
In algebraic geometry, an infinitely near point of an algebraic surface ''S'' is a point on a surface obtained from ''S'' by repeatedly blowing up points. Infinitely near points of algebraic surfaces were introduced by .〔''Infinitely Near Points on Algebraic Surfaces'', Gino Turrin, ''American Journal of Mathematics'', Vol. 74, No. 1 (Jan., 1952), pp. 100–106〕 There are some other meanings of "infinitely near point". Infinitely near points can also be defined for higher-dimensional varieties: there are several inequivalent ways to do this, depending on what one is allowed to blow up. Weil gave a definition of infinitely near points of smooth varieties,〔() Weil, A., ''Theorie des points proches sur les varietes differentielles'', Colloque de Topologie et Geometrie Diferentielle, Strasbourg, 1953, 111–117; in his ''Collected Papers'' II. The notes to the paper there indicate this was a rejected project for the Bourbaki group. Weil references Pierre de Fermat's approach to calculus, as well as the jets of Charles Ehresmann. For an extended treatment, see O. O. Luciano, ''Categories of multiplicative functors and Weil's infinitely near points'', Nagoya Math. J. 109 (1988), 69–89 (online (here ) for a full discussion.〕 though these are not the same as infinitely near points in algebraic geometry. In the line of hyperreal numbers, an extension of the real number line, two points are called infinitely near if their difference is infinitesimal. == Definition== When blowing up is applied to a point ''P'' on a surface ''S'', the new surface ''S'' * contains a whole curve ''C'' where ''P'' used to be. The points of ''C'' have the geometric interpretation as the tangent directions at ''P'' to ''S''. They can be called infinitely near to ''P'' as way of visualizing them on ''S'', rather than ''S'' *. More generally this construction can be iterated by blowing up a point on the new curve ''C'', and so on. An infinitely near point (of order ''n'') ''P''''n'' on a surface ''S''0 is given by a sequence of points ''P''0, ''P''1,...,''P''''n'' on surfaces ''S''0, ''S''1,...,''S''''n'' such that ''S''''i'' is given by blowing up ''S''''i''–1 at the point ''P''''i''–1 and ''P''i is a point of the surface ''S''i with image ''P''''i''–1. In particular the points of the surface ''S'' are the infinitely near points on ''S'' of order 0. Infinitely near points correspond to 1-dimensional valuations of the function field of ''S'' with 0-dimensional center, and in particular correspond to some of the points of the Zariski–Riemann surface. (The 1-dimensional valuations with 1-dimensional center correspond to irreducible curves of ''S''.) It is also possible to iterate the construction infinitely often, producing an infinite sequence ''P''0, ''P''1,... of infinitely near points. These infinite sequences correspond to the 0-dimensional valuations of the function field of the surface, which correspond to the "0-dimensional" points of the Zariski–Riemann surface. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Infinitely near point」の詳細全文を読む スポンサード リンク
|